Section: Dissemination
Teaching - Supervision - Juries
Supervision
-
PhD in progress: Vagelis Bebelis, “Boolean Parametric Data Flow. Modeling - Analyses -Implementation”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.
-
PhD in progress: Dmitry Burlyaev, “Specification and synthesis of fault-tolerant circuits”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.
-
PhD in progress: Yoann Geoffroy, “Towards a general causality analysis framework”, Grenoble University, since 10/2013, advised by Gregor Goessler.
Juries
-
Alain Girault was president of the PhD defense jury of Pranav Tendulkar (University Grenoble Alpes).
-
Alain Girault was president of the PhD defense jury of Christian von Essen (University Grenoble Alpes).
-
Alain Girault was referee for the computer science PhD thesis of Guillaume Aupy (ENS-Lyon).
-
Jean-Bernard Stefani was president of the jury for Bertrand Jeannet's HDR defense (University Grenoble Alpes).
-
Jean-Bernard Stefani was rapporteur for Helene Martorell's PhD defense (Toulouse University)